REVISITING GILES’S GAME Reconciling Fuzzy Logic and Supervaluation∗
نویسنده
چکیده
We explain Giles’s characterization of Lukasiewicz logic via a dialogue game combined with bets on results of experiments that may show dispersion. The game is generalized to other fuzzy logics and linked to recent results in proof theory. We argue that these results allow one to place t-norm based fuzzy logics in a common framework with supervaluation as a theory of vagueness.
منابع مشابه
Analyzing fuzzy and contextual approaches to vagueness by semantic games
How can natural language be ‘understood’ by computers? Or, more specifically, how can the semantics of a natural language statement be modeled by means of logic in order to facilitate formal reasoning? This perennial problem has many, partly intertwined facets; one of them being the pervasiveness of vagueness in all natural languages. Originally discarded by Frege as a ‘defect’ of ordinary lang...
متن کاملExploring Dialogue Games as Foundation of Fuzzy Logic
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and alternatives to Robin Giles’s dialogue and betting game for Lukasiewicz logic are re-visited and put in the context of other foundational research in logic. It emerges that dialogue games cover a wide range of topics r...
متن کاملCombining Supervaluation and Degree Based Reasoning Under Vagueness
Two popular approaches to formalize adequate reasoning with vague propositions are usually deemed incompatible: On the one hand, there is supervaluation with respect to precisification spaces, which consist in collections of classical interpretations that represent admissible ways of making vague atomic statements precise. On the other hand, t-norm based fuzzy logics model truth functional reas...
متن کاملAn Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملA Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory
This paper introduces a semantic model for vague quantifiers (VQs) combining Fuzzy Theory (FT) and Supervaluation Theory (ST), which are the two main theories on vagueness, a common source of uncertainty in natural language. After comparing FT and ST, I will develop the desired model and a numerical method for evaluating truth values of vague quantified statements, called the Modified Glöckner’...
متن کامل